Books by author Shaoying Liu

Showing 1 – 20 out of 20 results

1. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Formal Methods and Software Engineering

   Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu | Springer, Berlin, 2025

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   77.23 €

   Sale 7 %

   You save 6.50 €

   Buy
3. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2014

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Software Fault Prevention, Verification, and Validation

   Yuting Chen, Hiroyuki Okamura, Shaoying Liu | Springer, Berlin, 2026

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   68.03 €

   Sale 7 %

   You save 5.66 €

   Buy
5. 

   Structured Object-Oriented Formal Language and Method

   Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
6. 

   Formal Engineering for Industrial Software Development

   Shaoying Liu | Springer, Berlin, 2010

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
7. 

   Structured Object-Oriented Formal Language and Method

   Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
8. 

   Formal Methods and Software Engineering

   Kazuhiro Ogata, Mark Lawford, Shaoying Liu | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.65 €

   Sale 7 %

   You save 4.28 €

   Buy
9. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.50 €

   Sale 7 %

   You save 3.96 €

   Buy
10. 

    Structured Object-Oriented Formal Language and Method

    Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2018

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.65 €

    Sale 7 %

    You save 4.28 €

    Buy
11. 

    Agile-SOFL

    Shaoying Liu | Palgrave Macmillan, 2025

    
    

    In stock at our supplier - Shipping in 8 - 11 days

    Language: English

    Binding: Paperback

    120.80 €

    Sale 9 %

    You save 12.95 €

    Buy
12. 

    Software Fault Prevention, Verification, and Validation

    Shaoying Liu | Springer, Berlin, 2025

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    67.02 €

    Sale 7 %

    You save 5.56 €

    Buy
13. 

    Agile-SOFL

    Shaoying Liu | Springer, Berlin, 2024

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    170.94 €

    Sale 9 %

    You save 18.40 €

    Buy
14. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.65 €

    Sale 7 %

    You save 4.28 €

    Buy
15. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan, Ai Liu | Springer Nature B.V., 2023

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    56.91 €

    Sale 0 %

    You save 0.01 €

    Buy
16. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2015

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    41.34 €

    Sale 7 %

    You save 3.48 €

    Buy
17. 

    Structured Object-Oriented Formal Language and Method

    Jinyun Xue, Fumiko Nagoya, Shaoying Liu | Springer Nature Switzerland AG, 2021

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Paperback

    55.69 €

    Buy
18. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan, Ai Liu | Springer, Berlin, 2023

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    56.70 €

    Sale 7 %

    You save 4.76 €

    Buy
19. 

    Mathematics in Software Reliability and Quality Assurance

    Tadashi Dohi, Shaoying Liu | MDPI AG, 2022

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Hardback

    60.34 €

    Sale 17 %

    You save 13.18 €

    Buy
20. 

    Formal Methods and Software Engineering

    Shaoying Liu, Tom Maibaum, Keijiro Araki | Springer, Berlin, 2008

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Paperback

    55.69 €

    Buy

Nobody else offers you access to a wider selection. Find out more